program derivation造句

Another complementary approach is program derivation, in which efficient code is produced from correctness by construction.
Description : David Gries'textbook The Science of Programming describes Dijkstra's weakest precondition method of formal program derivation, except in a very much more accessible manner than Dijkstra's earlier " A Discipline of Programming ".
It's difficult to find program derivation in a sentence. 用program derivation造句挺难的